由于
于是有
见定理 3.3.4
见定理 3.3.2
由定理 3.3.2 的备注即得.
证毕.